AN APPROACH TO THE DETECTION OF SEMANTIC ERRORSBOCCALATTE A; DI MANZO M.1980; COMPUT. J.; ISSN 0010-4620; GBR; DA. 1980; VOL. 23; NO 4; PP. 317-323; BIBL. 17 REF.Article

AN ALGEBRAIC APPROACH TO THE TESTING OF THE EQUIVALENCE OF SEQUENTIAL MACHINES.DI MANZO M; FRISIANI AL; OLIMPO G et al.1978; DIGIT. PROCESS.; SWITZ.; DA. 1978; VOL. 4; NO 1; PP. 17-28; ABS. FR. ALLEM.; BIBL. 10 REF.Article

DEADLOCK AVOIDANCE IN GRAPH-STRUCTURED TASK SYSTEMSDI MANZO M; FRISIANI AL; OLIMPO G et al.1978; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1978; NO 65; PP. 548-559; BIBL. 7 REF.Conference Paper

ERROR RECOVERY WITH ATTRIBUTE GRAMMARSBOCCALATTE A; DI MANZO M; SCIARRA D et al.1982; COMPUT. J.; ISSN 0010-4620; GBR; DA. 1982; VOL. 25; NO 3; PP. 331-337; BIBL. 18 REF.Article

MODELLLO DI RECOVERY PER SISTEMI CONCORRENTI = MODELE DE REPRISE POUR SYSTEMES PARALLELESADORNI G; BOCCALATTE A; DI MANZO M et al.1981; ASSOCIAZIONE ITALIANA PER IL CALCOLO AUTOMATICO. CONGRESSO ANNUALE/1981/PAVIA; ITA; PAVIA: SERVIZIO ARTI GRAFICHE; DA. 1981; PP. 493-500; BIBL. 3 REF.Conference Paper

MULTIPROCESSOR ARCHITECTURES FOR CONTROL APPLICATIONSBERTORA F; DE CENA C; DI MANZO M et al.1981; MICROPROCESS. MICROPROGRAM.; NLD; DA. 1981; VOL. 7; NO 3; PP. 169-176; BIBL. 20 REF.Article

A first order theory of common sense object positioningDI MANZO, M; GIUNCHIGLIA, F.Computers in industry. 1986, Vol 7, Num 3, pp 257-262, issn 0166-3615Article

NAUSICA: NATURAL LANGUAGE UNDERSTANDING SYSTEM; THE ITALIAN LANGUAGE CASE ANALYZEDADORNI G; ANSALDI W; DI MANZO M et al.1981; RIV. INF.; ITA; DA. 1981; VOL. 11; NO 1; PP. 39-88; ABS. ITA; BIBL. 26 REF.Article

Supporting complex inquiriesDRAGONI, A. F; DI MANZO, M.International journal of intelligent systems. 1995, Vol 10, Num 11, pp 959-986, issn 0884-8173Article

Natural language input for scene generationADORNI, G; DI MANZO, M; FERRARI, G et al.Association for computational linguistics. European chapter. Conference. 1. 1983, pp 175-182Conference Paper

Top-down semantic analysisADORNI, G; BOCCALATTE, A; DI MANZO, M et al.Computer journal (Print). 1984, Vol 27, Num 3, pp 233-237, issn 0010-4620Article

Planning via model checking in determistic domains : Preliminary reportDI MANZO, M; GIUNCHIGLIA, E; RUFFINO, S et al.Lecture notes in computer science. 1998, pp 221-229, issn 0302-9743, isbn 3-540-64993-XConference Paper